Simply typed lambda calculus - PDFSEARCH.IO - Document Search Engine

Simply typed lambda calculus
Results: 80

#	Item
51	Lambda Calculus Diogo Sousa Universidade Nova de Lisboa Faculdade de Ciˆ encias e Tecnologia Add to Reading List Source URL: orium.pw Language: English - Date: 2012-01-27 11:22:13 Applied mathematics Computability theory Combinatory logic Calculus De Bruijn index Simply typed lambda calculus Lambda calculus Theoretical computer science Mathematics
52	JFP 18 (4): 437–502, [removed]c 2007 Cambridge University Press 437 Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2008-06-06 08:53:06 Logic in computer science Lambda calculus Models of computation Computability theory Free variables and bound variables Name binding Operational semantics Simply typed lambda calculus Π-calculus Theoretical computer science Applied mathematics Mathematics
53	arXiv:1406.1310v1 [cs.LO] 5 Jun[removed]Finite Vector Spaces as Model of Simply-Typed Lambda-Calculi∗ Benoˆıt Valiron† Add to Reading List Source URL: arxiv.org Language: English - Date: 2014-06-05 21:10:00 Abstract algebra Models of computation Linear map Transformation Lambda calculus Denotational semantics Simply typed lambda calculus Vector space Linear combination Algebra Mathematics Linear algebra
54	Church and Curry: Combining Intrinsic and Extrinsic Typing Frank Pfenning Dedicated to Peter Andrews on the occasion of his retirement Department of Computer Science Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2012-04-05 17:19:27 Logic in computer science Lambda calculus Theory of computation Type theory Simply typed lambda calculus HOL Mathematical logic Isabelle Theoretical computer science Applied mathematics Computer science
55	Proof Systems for Retracts in Simply Typed Lambda Calculus Colin Stirling Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2013-07-16 11:15:23 Computability theory Lambda calculus Logic in computer science Combinatory logic Sigma-algebra Mathematics Mathematical logic Theoretical computer science
56	Under consideration for publication in Math. Struct. in Comp. Science An introduction to decidability of Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2013-07-16 11:11:51 Applied mathematics Simply typed lambda calculus Theory of computation Theoretical computer science Computer science Lambda calculus
57	Dependency Tree Automata Colin Stirling [removed] Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2010-12-22 09:12:53 Computer science Model checking Finite-state machine Tree automaton End Model theory Simply typed lambda calculus Graph Configuration graph Theoretical computer science Automata theory Mathematics
58	A Provably Correct Translation of the λ-Calculus into a Mathematical Model of C++ Rose H. Abdul Rauf∗, Ulrich Berger, Anton Setzer‡† November 9, 2006 Abstract Add to Reading List Source URL: www.cs.swan.ac.uk Language: English - Date: 2007-02-18 18:49:57 Lambda calculus Models of computation Subroutines Logic in computer science Programming language semantics Denotational semantics Simply typed lambda calculus Higher-order function Type system Software engineering Theoretical computer science Mathematics
59	Proof Systems for Retracts in Simply Typed Lambda Calculus Colin Stirling Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2013-04-29 09:46:20 Symbol Orbifold